Digital Library

Search: "[ author: Kyung Hee Choi ]" (26)
    Implementation of the Simulink Execution Module by Applying Automata Theory
    Kyung Joon Kim , Ki Hyun Chung , Kyung Hee Choi The KIPS Transactions:PartA, Vol. 19, No. 1, pp. 23-34, Feb. 2012
    10.3745/KIPSTA.2012.19.1.23

    Test Input Sequence Generation Strategy for Timing Diagram using Linear Programming
    Hong Seok Lee , Ki Hyun Chung , Kyung Hee Choi The KIPS Transactions:PartD, Vol. 17, No. 5, pp. 337-346, Oct. 2010
    10.3745/KIPSTD.2010.17.5.337

    Test Case Generation Strategy for Timing Diagram
    Hong Seok Lee , Ki Hyun Chung , Kyung Hee Choi The KIPS Transactions:PartD, Vol. 17, No. 4, pp. 283-296, Aug. 2010
    10.3745/KIPSTD.2010.17.4.283

    Improvement of a Simulink Debugger Capacity for Model Verification
    Seong Jo Kim , Hong Seok Lee , Kyung Hee Choi , Ki Hyun Chung The KIPS Transactions:PartD, Vol. 17, No. 2, pp. 111-118, Apr. 2010
    10.3745/KIPSTD.2010.17.2.111

    Automatic Test Case Generation Through 1-to-1 Requirement Modeling
    Jung Sup Oh , Kyung Hee Choi , Gi Hyun Jung The KIPS Transactions:PartD, Vol. 17, No. 1, pp. 41-52, Feb. 2010
    10.3745/KIPSTD.2010.17.1.41

    A Study of Development of All Wheel Steering ECU in Bi-modal Tram
    Ki Jeong Kim , Soo Ho Lee , Ki Hyun Chung , Kyung Hee Choi , Tae Won Park , Kyeong Ho Moon The KIPS Transactions:PartA, Vol. 17, No. 1, pp. 19-26, Feb. 2010
    10.3745/KIPSTA.2010.17.1.19

    Translation Technique of Requirement Model using Natural Language
    Jung Sup Oh , Hye Ryun Lee , Kang Bin Yim , Kyung Hee Choi , Ki Hyun Jung The KIPS Transactions:PartD, Vol. 15, No. 5, pp. 647-658, Oct. 2008
    10.3745/KIPSTD.2008.15.5.647

    A Single Requirement Modeling with Graphical Language for Embedded System
    Jung Sup Oh , Hong Seok Lee , Hyun Sang Park , Jang Bok Kim , Kyung Hee Choi , Ki Hyun Jung The KIPS Transactions:PartD, Vol. 15, No. 4, pp. 505-512, Aug. 2008
    10.3745/KIPSTD.2008.15.4.505

    A Study on CAN Based System Reliability Test
    Jong Hyun Kim , Ki Hyun Chung , Kyung Hee Choi The KIPS Transactions:PartC, Vol. 15, No. 3, pp. 199-204, Jun. 2008
    10.3745/KIPSTC.2008.15.3.199

    Economic Damage Model on Industries due to Internet Attack and A Case Study
    Jong Ho Jang , Ki Hyun Chung , Kyung Hee Choi The KIPS Transactions:PartC, Vol. 15, No. 3, pp. 191-198, Jun. 2008
    10.3745/KIPSTC.2008.15.3.191

Forms



Category Search

Publications


Old Journals


Indexing


All publications of KTCCS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

KTCCS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Organization


Related Journals